Nonblocking Supervisory Control of Nondeterministic Systems
نویسندگان
چکیده
In this paper we extend the theory of supervisory control of nondeterministic discrete event systems subject to nondeterministic speci cation developed in We focus our attention on nonblocking and liveness considerations and develop algorithms for nonblocking supervisor synthesis
منابع مشابه
Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
This paper addresses a decentralized supervisory control problem for an uncertain discrete event system (DES) modeled by a set of possible nondeterministic automata with unidentified internal events. For a given language specification, we present the existence condition of a robust and nonblocking decentralized supervisor that achieves this specification for any nondeterministic model in the se...
متن کاملNonblocking Supervisory Control of Flexible Manufacturing Systems based on State Tree Structures
Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-know...
متن کاملControl of State Tree Structures
It is well known that the nonblocking supervisory control problem is NP-hard, subject in particular to state space explosion that is exponential in the number of system components. In this paper we propose to manage complexity by organizing the system as a State Tree Structure (STS). STS are an adaptation of state charts to supervisory control theory. Based on STS we present an efficient recurs...
متن کاملNonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions
This paper addresses the problem of nonblocking supervisory control of timed discrete event systems under communication delays based on the framework proposed by Brandin and Wonham. For such a system, a supervisory control command could be applied to the system after some time-delay limited by a finite bound corresponding to the maximal number of tick occurrences, and some uncontrollable events...
متن کاملSupervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996